We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, (...) and the amount of information in a message. (shrink)

The COVID-19 pandemic will likely recede only through development and distribution of an effective vaccine. Although there are many unknowns surrounding COVID-19 vaccine development, vaccine demand will likely outstrip early supply, making prospective planning for vaccine allocation critical for ensuring the ethical distribution of COVID-19 vaccines. Here, we propose three central goals for COVID-19 vaccination campaigns: to reduce morbidity and mortality, to minimise additional economic and societal burdens related to the pandemic and to narrow unjust health inequalities. We evaluate five (...) prioritisation approaches, assess their likely impact on advancing the three goals of vaccine allocation and identify open scientific questions that may alter their outcomes. We argue that no single prioritisation approach will advance all three goals. Instead, we propose a multipronged approach that considers the risk of serious COVID-19 illness, instrumental value and the risk of transmission, and is guided by future research on COVID-19-specific clinical and vaccine characteristics. While we focus this assessment on the USA, our analysis can inform allocation in other contexts. (shrink)

We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists.

We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey-Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of nonmonotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).'Expectation' is a term of art in these models, which should not be confused with the notion of expected utility. The expectations of an agent are some form (...) of belief weaker than absolute certainty. Our model offers a modified and extended version of an account of qualitative belief in terms of conditional probability, first presented in (van Fraassen, 1995). We use this model to relate probabilistic and qualitative models of non-monotonic relations in terms of expectations. In doing so we propose a probabilistic model of the notion of expectation. We provide characterization results both for logically finite languages and for logically infinite, but countable, languages. The latter case shows the relevance of the axiom of countable additivity for our probability functions. We show that a rational logic defined over a logically infinite language can only be fully characterized in terms of finitely additive conditional probability. (shrink)

We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and justwhatit is that is believed. We provide a flexible model which allows us to give meaning to beliefs (...) in general contexts, including the context of animal belief (where action is usually our only clue to a belief), and of human belief which is expressed in language. (shrink)

This paper contributes to business ethics by focusing on consumption that is characterized by normative violence. By drawing on the work of Judith Butler this study of kajer lok—a female subaltern group of Indian domestic service providers—and their higher status clients shows how codes of status-based consumption shaped by markets, class, caste, and patriarchy create a social order that reduces kajer lok to “ungreivable” lives. Our study contributes to business ethics by focusing on exploitation and coercion in consumption rather than (...) in production and of woman rather than of men. It adds to consumer research by revealing how social distinctions not only manifest in status contests in which symbolic power is at stake but also may produce violent exploitation and ungrievable lives. (shrink)

Editorial Rohit Parikh, Jeffrey Helzner, Episteme, FirstView Article.

Both the Beth definability theorem and Craig's lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L1 with another language L2, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra and Foo.Section 3 does (...) contain one apparently new theorem. (shrink)

The present paper aims to study the origin and the development of karma and rebirth theory, which was the outcome of the collective historical experiment of multiple social groups under the socially shared ideological philosophical system of Ancient India. The existing historiography looked at it as a superfi- cial system dealing with certain ideas around religion and ritual. Therefore, it missed out on the other aspects related to it, which evolved around the notion of penance and punishment. That internalizes the (...) social order and justified the unaccounted inequalities by forcing individuals to self-surrender for violation of social and legal limitations of the concerned society. This present paper is going to look at this primary idea by focusing on multiple forms of karma and rebirth and the idea of the body in the same as depicted in Manusmrti. In addi tion to this, it will also check the inter-mixture of social and religious morality in the same through the historical process of ethnicization by making the base to the existing socio-economic environment of the concerned period. (shrink)

The integration of Corporate social responsibility with BusinessStrategy has been identified as a central Corporate social responsibility concept. Corporate social responsibility, it is important to understand the Key Drivers and Building Blocks that is integral to this phenomenon and which will impact the Civil Society at large. If the Indian government and private companies are serious about meeting Sustainable Development Goals, Mandated CSR has to be used as a Strategic Vehicle not only to reduce the substantial financial shortfall but Corporate (...) social responsibility as an integral part of a company’s Strategy, to help companies achieve Competitive Advantage. The paper lists down five strategic Building Blocks of Mandated CSR namely—Shared vision, Key Drivers, Dialogue, measuring impact, and Governance which provide a mental framework to think about mCSR in a novel way. The paper emphasizes the importance of Shared vision, Problem Identification, utilizing Board’s Expertise, Innovation, building network, Best Practice sharing, managing failure risk, Shareholder’s Activism, Government’s Intention, and Capacity Building. (shrink)

We introduce a generalization of Independence Friendly logic in which Eloise is restricted to a finite amount of information about Abelard’s moves. This logic is shown to be equivalent to a sublogic of first-order logic, to have the finite model property, and to be decidable. Moreover, it gives an exponential compression relative to logic.

Attempts to give a Logic or Semantics for vague predicates and to defuse the Sorites paradoxes have been largely a failure. We point out yet another problem with these predicates which has not been remarked on before,namely that different people do and must use these predicates in individually different ways. Thus even if there were a semantics for vague predicates, people would not be able to share it. To explain the occurrence nonetheless of these troublesome predicates in language, we propose (...) a different approach based on asking the question, “How do these vague predicates help people to communicate with each other?” We show that in general, even though different people assign different extensions to vague predicates, they usually benefit from receiving information framed in terms of them. (shrink)

Each of us has a story which we can think of as a set of beliefs, hopefully consistent. We make our decisions in view of our beliefs which may be probabilistic, in the general case, but simple yes or no as in this paper. Our beliefs are our envelope just as the shell of a tortoise is its envelope. Decision theory—or single agent game theory tells us when to make the best choice in a game of us against nature. But (...) nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign. Things change when there are other agents involved. Then the best thing for us to do will depend on what they do. And they will think the same. And we predict their actions in terms of what we think their beliefs are. But how do we coordinate with others whose beliefs are different? This paper addresses the issue of working together despite different beliefs. (shrink)

This article looks at the contribution made by Ambalavaner Sivanandan to black politics and organising in Britain. It reviews some of his most important writings and analyses their significance and influence on black activism and race studies. Specifically, the article looks at the ways in which class and race intersected in his work and his critical stance towards political elites and advocacy for radical politics.

This article was written shortly after the death of Benedict Anderson. It contextualizes Anderson's contribution to studies of nationalism and the Global South, particularly Asia. It then revisits some of the key debates of Anderson’s scholarship and its particular significance and importance to the study of South Asia.

From Kabir to Krishnamurti is a far cry. For, they are separated one from the other by over five centuries. But quantitative measurement of this distance has a qualitative aspect which cannot be measured in any time-scale. Two great seers lived in two completely different worlds-with no comparison between the two. And yet they expressed their thoughts and experience not only in a similar language but almost in identical terms. In these two streams of thought represented by Kabir and Krishnaji, (...) the authors note a fascinating parallelism. These streams run parallel to each other-and yet they meet from time to time-at the intersections between the two approaches to life. J. Krishnamurti and Sant Kabir focuses on these meeting points between the two approaches to life. The book also presents the intersections between the writings and sayings of Kabir and Krishnaji. (shrink)

I want to start by giving some quotes from Wittgenstein. It is part of his conception of what the foundations of Mathematics are about, a conception which many people have found peculiar and one of my defects is that I am not able to find it peculiar anymore, but find it perfectly sensible.

We give an example of a polynomial time algorithm for a particular algorithmic problem involving vagueness and visual indiscriminability, namely sock sorting.

BackgroundExercise is primarily sustained by energy derived from lipids, and glucose. Substrate utilization is the pattern by which these fuel sources are used during activity. There are many factors that influence substrate utilization. We aim to delineate the effect of exercise intensity and body composition on substrate utilization.ObjectiveThe objective of our study was to discern the differences in substrate utilization profiles during a maximal and submaximal graded exercise test, and to determine the extent to which body composition influences substrate utilization (...) during the exercise tests.MethodsA total of 27 male athletes, 32.5 ± 11 years of age, were recruited for this study. Body composition was analyzed using a bioelectrical impedance analyzer. Maximal and submaximal exercise tests were performed on a treadmill. A novel graded submaximal treadmill protocol was used for the submaximal test.ResultsAverage percent body fat was 15.8 ± 5%. Average maximal oxygen consumption was 47.6 ± 9 mL/kg/min, while the average exercise intensity at which participants were shifting to glucose predominance for energy during the maximal and submaximal tests were 76 ± 8.3% and 58.4 ± 21.1%, respectively. A paired-samples t-test was conducted to compare percent VO2max at crossover point in maximal and submaximal graded exercise tests. There was a significant difference in percent VO2max at the crossover point for maximal and submaximal tests. A linear regression was performed to elucidate the interaction between exercise intensity at the crossover point and body composition during a maximal and submaximal graded exercise test. There was a significant effect of PBF on percent VO2max at crossover point during the maximal graded exercise test [F = 9.10, P = 0.006] with an R2 of 0.245. However, there was no significant effect of PBF on percent VO2max at crossover point during the submaximal graded exercise test.ConclusionSubstrate utilization, represented by the crossover point, is dependent on the rate of increase in exercise intensity. At maximal efforts, the crossover to carbohydrates from fats as the predominant fuel source occurs at a significantly later stage of percent VO2max than at submaximal efforts. Furthermore, body composition represented by PBF is a significant predictor of substrate utilization during maximal efforts. Athletes with a relatively higher PBF are more likely to have increased lipid oxidation during high intensity exercises than those with a lower body fat percentage. (shrink)

The aim of this meta-analysis was to evaluate the effects of complex training on sprint, jump, and change of direction ability among soccer players. After an electronic search, 10 peer-reviewed articles were considered in the meta-analysis. The athletes included in this meta-analysis were amateur to professional level male soccer players. These studies incorporated CT in soccer players who were compared to a control group. Significant moderate to large improvements were observed in the CT group [sprint: standard mean difference = 0.92–1.91; (...) jump: SMD = 0.96–1.58; COD: SMD = 0.97–1.49] when compared to control groups. Subgroup analysis were also conducted based on age, duration, and competitive level. The beneficial effects of CT were greater in players <18 vs. ≥18 years, after ≥8 vs. <8 weeks and among professional vs. amateur players. In conclusion, regular soccer training programs may be supplemented with CT to improve sprint, jump, and COD performance. A longer duration of CT seems to be optimal in improving the physical abilities of soccer players. Professional players and <18 years players may benefit more from CT program. (shrink)

A utility-based approach to the understanding of vague predicates (VPs) is proposed. It is argued that assignment of truth values to propositions containing VPs entails unjustifiable assumptions of consensus; two models of VP semantics are criticized on this basis: (1) the super-truth theory of Kit Fine (1975), which requires an unlikely consensus on base points; (2) the fuzzy logic of Lotfi Zadeh (1975), on fuzzy truth values of sentences. Pragmatism is held to provide a key: successful behavior justifies a person's (...) knowledge of the content of a VP. Instead of attempting to determine a consensus underlying successful communication, the utility of individual communications is held to rest on sufficient approximation of meanings between people. 3 Figures, 17 References. Adapted from the source document. (shrink)

We propose a new relevance sensitive model for representing and revising belief structures, which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and belief..

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra.

This book will be of great interest to all students of Hinduism, students of both Eastern and Western philosophy, and spiritual seekers who wish to better understand this ancient Indian tradition of non-dualist thought.

Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states.In [2] a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.We give (...) here a complete axiomatization for directed spaces. We also show that it is not possible to reduce this set of axioms to a finite set. (shrink)